Loidig cho-cheanglachail

'S e comharradh loidigeach a tha ann an loidig cho-cheanglachail.

Leasaich Moses Schönfinkel agus Haskell Curry e san 1920an agus 1930an. Tha e cudromach ann am prògramadh agus co-cheangailte ri calcalas lambda. Le loidig cho-cheanglachail 's urrainn dhuinn foincseanan a sgrìobhadh gun caochladairean sgaoilte a-muigh.

Tha e a' toirt riaghailtean, eas-preiseain ath-sgrìobhadh le co-cheanglaichean:

• (I x) = x. (ionnannachd)
• ((K x) y) = x
• (S x y z) = (x z (y z))

Chleachd Curry siostam eile de cho-cheanglaichean:

• B x y z = x (y z). (co-dhèanamh)
• C x y z = x z y
• K x y = x
• W x y = y